dimap id f . alpha = dimap f id . alpha